ATG Interviews Sameer Shariff

MM WAFER FABRICATION LINE SIMULATION MODEL Sameer

The importance of semiconductor wafer fabrication has been increasing steadily over the past decade. Wafer fabrication is the most technologically complex and capital intensive phase in semiconductor manufacturing. It involves the processing of wafers of silicon in order to build up layers and patterns of metal and wafer material. Many operations have to be performed in a clean room environment...

Hepatotoxicity induced by horse ATG and reversed by rabbit ATG: a case report

BACKGROUND The use of antilymphocyte agents has improved patient and graft survival in hematopoietic stem cell and solid organ transplantation but has been associated with the development of short-term toxicities as well as long-term complications. CASE PRESENTATION We report a young female with Fanconi anemia who received antithymocyte globulin as part of the conditioning regimen prior to he...

The Temporal Rover and the ATG Rover

The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time Temporal Logic (LTL) and Metric Temporal Logic (MTL), with conventional simulation/execution based testing. The Temporal Rover is tailored for the verification of complex protocols and reactive systems where behavior ...

Unstructured Interviews

Approximate earth mover ’ s distance in linear time Sameer

The earth mover’s distance (EMD) [21] is an important perceptually meaningful metric for comparing histograms, but it suffers from high (O(n3 log n)) computational complexity. We present a novel linear time algorithm for approximating the EMD for low dimensional histograms using the sum of absolute values of the weighted wavelet coefficients of the difference histogram. EMD computation is a spe...